File Analysis Data Auto-Creation Model For Peach Fuzzing
نویسندگان
چکیده
منابع مشابه
H-Fuzzing: A New Heuristic Method for Fuzzing Data Generation
How to efficiently reduce the fuzzing data scale while assuring high fuzzing veracity and vulnerability coverage is a pivotal issue in program fuzz test. This paper proposes a new heuristic method for fuzzing data generation named with H-Fuzzing. H-Fuzzing achieves a high program execution path coverage by retrieving the static information and dynamic property from the program. Our experiments ...
متن کاملA Recurrent Neural Network Model for solving CCR Model in Data Envelopment Analysis
In this paper, we present a recurrent neural network model for solving CCR Model in Data Envelopment Analysis (DEA). The proposed neural network model is derived from an unconstrained minimization problem. In the theoretical aspect, it is shown that the proposed neural network is stable in the sense of Lyapunov and globally convergent to the optimal solution of CCR model. The proposed model has...
متن کاملMathematical model creation for Reducing damages in basketball players
Introduction: Hand and wrist stability are critical for optimal upper extremity function. Instability occurs when injury or a pathological condition alters balance, typically in the basketball players and handball players. Injury also can occur whenever the ligaments are subjected to tensile forces that exceed their physiological capacities. For example, thumb is stable in ext...
متن کاملDesigning a Model for Creation of Export Consortiain Business Cluster
Today, small and medium enterprises are considered as one of the main components of economic development for various reasons. To name a few, job creation, resource efficiency, the ability to enhance local technology, the ability to meet new needs, quick decision-making, and training successful managers will all lead to the growth and economic development of countries. Despite these benefits, sm...
متن کاملComplementing Model Learning with Mutation-Based Fuzzing
An ongoing challenge for learning algorithms formulated in the Minimally Adequate Teacher framework is to efficiently obtain counterexamples. In this paper we compare and combine conformance testing and mutation-based fuzzing methods for obtaining counterexamples when learning finite state machine models for the reactive software systems of the Rigorous Exampination of Reactive Systems (RERS) c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Korea Institute of Information Security and Cryptology
سال: 2014
ISSN: 1598-3986
DOI: 10.13089/jkiisc.2014.24.2.327